Tameness of Joins involving the Pseudovariety of Local Semilattices

Tameness of pseudovariety joins

The concept of tameness of a pseudovariety was introduced by Almeida and Steinberg [1] as a tool for proving decidability of the membership problem for semidirect products of pseudovarieties. Recall that the join V ∨ W of two pseudovarieties V and W is the least pseudovariety containing both V and W. This talk is concerned with the problem of proving tameness of joins. This problem was consider...

Tameness of pseudovariety joins involving R 1

In this paper, we establish several decidability results for pseudovariety joins of the form V ∨ W, where V is a subpseudovariety of J or the pseudovariety R. Here, J (resp. R) denotes the pseudovariety of all J-trivial (resp. R-trivial) semigroups. In particular, we show that the pseudovariety V ∨ W is (completely) κ-tame when V is a subpseudovariety of J with decidable κ-word problem and W is...

Tameness of The Pseudovariety Ls1

A class of finite semigroups V is said to be decidable if the membership problem for V has a solution, that is, if we can construct an algorithm to test whether a given semigroup lies in V. Decidability of pseudovarieties is not preserved by some of the most common pseudovariety operators, such as semidirect product, Mal’cev product and join [1, 17]. In particular Rhodes [17] has exhibited a de...

Decidability and Tameness in the Theory of Finite Semigroups

Pseudovariety joins involving J -trivial semigroups and completely regular semigroups

J. Rhodes asked during the Chico conference in 1986 for the calculation of joins of semigroup pseudovarieties. This paper proves that the join J∨V of the pseudovariety J of J -trivial semigroups and of any 2-strongly decidable pseudovariety V of completely regular semigroups is decidable. This problem was proposed by the first author for V = G, the pseudovariety of finite groups.